Section: Partnerships and Cooperations

International Initiatives

Inria Associate Teams

TASCMELB

• Title: Synergy between Filtering and Explanations for Scheduling and Placement Constraints

• International Partner (Institution - Laboratory - Researcher):

  • NICTA (AUSTRALIE)

• Duration: 2014 - 2016

• See also: http://www.normalesup.org/ truchet/TASCMELB.html

• In the context of Constraint Programming and SAT the project addresses the synergy between filtering (removing values from variables) and explanations (explaining why values were removed in term of clauses) in order to handle in a more efficient way correlated resource scheduling and placement constraints. It combines the strong point of Constraint Programming, namely removing value that leads to infeasibility, with the strong point of SAT, namely taking advantage from past failure in order to quickly identify infeasible sub-problems.

BANANAS

• Partners: Inria-Lorraine, PUCV (Chili), UTFSM (Chili), Univ. Angers (LERIA), Univ. Nantes (TASC).

• Duration: 2012-2014.

• Topics: Autonomous constraint solving, SMT solvers.

• Budget: 15 KEuros per year for the project.

Inria International Partners

Informal International Partners

• SICS , Sweden.

• Uppsala University , Sweden.

• 4C , Ireland.

• Univ. Austral de Chile, Valparaiso, Chile.

Participation In other International Programs

Ulysse (cooperation with 4C, Cork, Ireland).